
$(function do_mark() {
    function repstr(repstr,obj){
    var str = '<span style="color:red">'+repstr+'</span>';
    $(obj).html($(obj).text().replace(repstr,str));
    }
    $(".firm_name_ul li .firm_name_a").each(function(){
        repstr($("#result_search").val(),this);
    })
});

$(function show_list() {
    $(".firm_name").show();
});
